Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Non-standard logics for automated reasoning

Автор:
Размер книги: 34.17 Mb